Partial quasi-metrics
نویسندگان
چکیده
In this article we introduce and investigate the concept of a partial quasi-metric and some of its applications. We show that many important constructions studied in Matthews’s theory of partial metrics can still be used successfully in this more general setting. In particular we consider the bicompletion of the quasi-metric space that is associated with a partial quasi-metric space and study its applications in groups and BCK-algebras.
منابع مشابه
The correspondence between partial metrics and semivaluations
Partial metrics, or the equivalent weightable quasi-metrics, have been introduced in [Mat94] as part of the study of the denotational semantics of data flow networks (cf. also [Mat95]). The interest in valuations in connection to Domain Theory derives from e.g. [JP89], [Jon89], [Eda94] and [Hec95]. Connections between partial metrics and valuations have been discussed in the literature, e.g. [O...
متن کاملA Construction Method for Partial Metrics
We present a general construction that starts from a family of interior-preserving open coverings of a given subspace and results in a partial metric with respect to which all subspace elements have self-distance zero. A necessary and sufficient condition is derived for when this partial metric induces the given topology. The condition is particularly satisfied if the members of each covering a...
متن کاملWarped product and quasi-Einstein metrics
Warped products provide a rich class of physically significant geometric objects. Warped product construction is an important method to produce a new metric with a base manifold and a fibre. We construct compact base manifolds with a positive scalar curvature which do not admit any non-trivial quasi-Einstein warped product, and non compact complete base manifolds which do not admit any non-triv...
متن کاملOn quasi-Einstein Finsler spaces
The notion of quasi-Einstein metric in physics is equivalent to the notion of Ricci soliton in Riemannian spaces. Quasi-Einstein metrics serve also as solution to the Ricci flow equation. Here, the Riemannian metric is replaced by a Hessian matrix derived from a Finsler structure and a quasi-Einstein Finsler metric is defined. In compact case, it is proved that the quasi-Einstein met...
متن کاملOn Some Constructions in Quantitative Domain Theory
Domains introduced by Dana Scott [11] and independently by Yuri L. Ershov [3] are a structure modelling the notion of approximation and of computation. A computation performed using an algorithm proceeds in discrete steps. After each step there is more information available about the result of the computation. In this way the result obtained after each step can be seen as an approximation of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 365 شماره
صفحات -
تاریخ انتشار 2006